TAGs: graph inequalities